char main[] __attribute__((section(".mysection"))) = {0x55,0x48,0x89,0xe5,0xb8,0,0,0,0,0x5d,0xc3};
